$\vdash$  $\forall$$T$:Type, $Q$:($T$$\rightarrow\mathbb{P}$). ($\neg$($\exists$$x$:$T$. $Q$($x$))) $\Leftarrow\!\Rightarrow$ ($\forall$$x$:$T$. $\neg$$Q$($x$))